ar X iv : c s / 05 11 02 3 v 2 [ cs . L O ] 5 N ov 2 00 5 Verifying nondeterministic probabilistic channel systems against ω - regular linear - time properties

ar X iv : h ep - p h / 02 11 38 2 v 1 2 5 N ov 2 00 2 Gold - plated Mode of CP - Violation in Decays of Ξ bc Baryons

ar X iv : h ep - p h / 02 11 19 2 v 1 1 3 N ov 2 00 2 Why We Need Both the LHC and an e + e − Linear Collider ⋆

ar X iv : m at h / 04 11 06 2 v 1 [ m at h . O A ] 3 N ov 2 00 4 On automorphisms of type II Arveson systems ( probabilistic approach )

A counterexample to the conjecture that the automorphisms of an arbitrary Arveson system act transitively on its normalized units.

ar X iv : m at h / 05 11 27 5 v 2 [ m at h . G R ] 7 N ov 2 00 6 LIMIT GROUPS , POSITIVE - GENUS TOWERS AND MEASURE EQUIVALENCE

By definition, an ω-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus ω-residually free tower. By combining this construction with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups.

ar X iv : m at h / 05 11 32 7 v 1 [ m at h . O A ] 1 3 N ov 2 00 5 Singly Generated II 1 Factors

In the paper, we show that a large class of II1 factors are singly generated, i.e., generated by two self-adjoint elements. These II1 factors include almost all of the ones whose free entropy dimensions are less than or equal to one.